$\forall$$M$:MsgA, $x$:Id. $\neg$$x$ declared in $M$ $\Rightarrow$ $M$.ds($x$) $=$ Top $\in$ Type